$\forall$$w$:World, $e$, ${\it e'}$:E. FairFifo $\Rightarrow$ $e$ $<$ ${\it e'}$ $\Rightarrow$ (time($e$) $<$ time(${\it e'}$))